aggregation operator - German English Dictionary